Dissertation Typesetting Considerations
tony-zorman.com·6h·
Discuss: Lobsters, Hacker News
📜Text Collation
Advanced PDF Optimization Techniques - 1753109
dev.to·3h·
Discuss: DEV
📝Text Compression
"It could easily be shown..." Probability and Pi and the Riemann Zeta Function
pballew.blogspot.com·12h·
Discuss: www.blogger.com
⚔️Lean Theorem
Free Things Are Complicated (Especially the Sphere Spectrum!)
grossack.site·1d
🧮Algebraic Archives
Google DeepMind Formal Conjectures
google-deepmind.github.io·1d·
Discuss: Hacker News
🕸️Algebraic Topology
An Academic Web Clipper
github.com·4h·
Discuss: Hacker News
🏷️Metadata Standards
SAFT: Structure-Aware Fine-Tuning of LLMs for AMR-to-Text Generation
arxiv.org·14h
📋Document Grammar
Extensions and Shadows (7)
sites.psu.edu·3h
🧮Kolmogorov Complexity
LL and LR Parsing Demystified (2013)
blog.reverberate.org·2h·
Discuss: Lobsters, Hacker News
🔗Monadic Parsing
Information modeling example: Call sheet
disruptivearchitecture.info·3d
🚚Data Migration
XSLT: A Precision Tool for the Future of Structured Transformation
xml.com·8h·
Discuss: Hacker News
📋Document Grammar
Cauchy coup
leancrew.com·1d
📐Linear Algebra
A reckless introduction to Hindley-Milner type inference
reasonableapproximation.net·12h
🔤Type Theory
A Complete Guide to Matplotlib: From Basics to Advanced Plots
kdnuggets.com·4h
📐Mathematical Art
Mathematics Uncover Hidden Geometry of Imperfect Crystals
scitechdaily.com·2d
🌀Differential Geometry
Cactus Language • Stylistics 6
inquiryintoinquiry.com·1d
🌳Context free grammars
The Basics of Wikibase
diff.wikimedia.org·22h
📇Dublin Core
🔎 What is OCR? and How Can You Use It Without Any ML Experience?!
dev.to·7h·
Discuss: DEV
📄OCR
Twenty years of blogging
11011110.github.io·1d
📐Mathematical Art
Math Fractions Teacher Helper
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics